On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems

On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems

In this paper we study multi-agent discrete-event systems where the agents can be divided into several groups, and within each group the agents have similar or identical state transition structures. We employ a relabeling map to generate a “template structure” for each group, and synthesize a scalable supervisor whose state size is independent of the number of agents. This scalability allows th...

Partial Observation in Distributed Supervisory Control of Discrete-Event Systems

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

Supervisory Control Of Discrete Event Systems

Supervisory Control of Distributed Discrete-Event Systems

A distributed discrete-event system consists of an interconnection of two or more subsystems. Control of a distributed system demands a set of controllers each receiving the observation stream of a local subsystem and providing a subset of enabled events to that subsystem. Several control architectures are defined in this chapter: Distributed control, distributed control with communication, coo...

Supervisory Control of Interacting Discrete Event Systems

In this paper we present a theory for decentralized supervisory control of a general class of multiprocess discrete event systems referred to as interacting discrete event systems (IDES). An IDES is a discrete event system that consists of a number of components working concurrently and possibly restricted by a well-defined interaction specification. We extend the notion of decentralized superv...